

void schedule(bool next);
void reschedule(int pid);
void switch_to_task(int n, int mode);
